拟单调广义向量变分不等式

在集值映射T：K→2^L（X,Y）是拟单调和弱上半连续的条件下，考虑了广义向量变分不等式强解存在的强制条件，证明了与广义向量变分不等式非奇异解非空等价的强制条件，同时提出使广义集值向量变分不等式解集非空的极小强制条件．     

状态约束下完全耦合的正倒向随机控制系统的最大值原理

在一类单调性条件下，运用对偶技巧和Ekeland变分原理，得到了初始和终端状态都有约束情形时，一类完全耦合的正倒向随机控制系统的最大值原理，这里正向系统扩散项中不含控制变量，但控制域允许非凸.     

Ekeland变分原理的推广

将Ekeland变分原理中的广义实值泛函推广为向量值函数,得到了一个形式上和Ekeland变分原理相同的向量值函数的Ekeland变分原理.     

Development and Research on the Internet Resources Aggregation Platform

We proposed an Intemet resource aggregation platform based on semantic web. The platform includes an Web Ontology Language（OWL） ontology design toolkit（VO-Editor） and a selective inference algorithm engine so that it can visually editing ontology and using novel selective reasoning for information aggregation. We introduce the VO-Editor and the principle of selective inference algorithm. At last a case of budget travel system is used to interpret the approach of Internet resources aggregation by this platform.     

迭代序列强收敛于m-增生型变分〗包含解的充要条件

研究了Banach空间中一类m-增生型变分包含解的存在性及其具随机误差的Ishikawa迭代逼近问题，得到了迭代序列强收敛于变分包含问题的唯一解的若干等价条件.     

铍原子基态能量和波函数的变分计算

利用变分原理,计算铍原子(含类铍离子)基态非相对论性能量和波函数,计算中考虑了电子间的交换作用以及内外壳层电子的不同屏蔽效应,计算结果与实验值很相符,能量误差小于0.2%.     

超凸度量空间中的极大极小不等式和拟变分不等式

用连续迭取方法得到了超凸距离空间上集值映射的一个不动点定理。作为应用，给出了超凸距离空间中的一个极小极大定理和广义拟变分不等式解的一个存在性定理。     

求解带球约束的变分不等式问题的二次外梯度投影算法

二次外梯度投影算法是求解变分不等式问题的一种重要算法 .在这种算法中 ,每迭代一次需要计算两次投影 :第一次为到可行域上的投影 ,第二次为到可行域或可行域与一超平面的交上的投影 .本文对现有的变分不等式问题的二次外梯度投影算法进行分析 ,并对可行域为球的二次外梯度投影算法的计算过程进行简化 .最后 ,我们给出了数值分析 .     

基于VC和VIP的面向对象知识表示

知识表示是人工智能研究的基本问题之一。通过在 Visual C+ +的类中引入Visual Prolog的推理机制提出了一种基于 VC和 VIP的面向对象知识表示方法 ,完善了 Visual C+ +对象的推理功能 ,进一步增强了面向对象的知识表示能力以及 VisualProlog的接口和计算能力 ,并通过实验验证了方法的性能     

非线性隐拟变分包含的解的灵敏性

用隐预解算子的方法来分析Hilbert空间中非线性隐拟变分包含的解的灵敏性，推广了这个领域中的一些最新结论。